Computer-automated design - PDFSEARCH.IO - Document Search Engine

Computer-automated design
Results: 82

#	Item
41	ClassiCAD spol. s r.o. PDSTailorXQ CAD System for Automated Garment Pattern Construction PDSTailorXQ represents new Add to Reading List Source URL: www.classicad.cz Language: English - Date: 2008-07-30 04:51:18 Computer-aided design Pattern Cut Tailor Clothing Sewing Windows XP
42	Automated Planning for iFab Satyandra K. Gupta, Krishna Kaipa, Carlos Morato, Ian Wang, Boxuan Zhao, and Petr Svec University of Maryland, College Park Sponsor: DARPA iFab Program Add to Reading List Source URL: terpconnect.umd.edu Language: English - Date: 2011-12-11 20:45:12 Automation Computer-aided design
43	Technical 6x9 / Manufacturing Execution Sytems (MES): Design, Planning, and Deployment / Meyer / Chapter 5 Core Function—Production Flow-Oriented Planning 85 Add to Reading List Source URL: cdn.ttgtmedia.com Language: English - Date: 2009-09-29 11:42:07 Manufacturing Supply chain management Computer-aided engineering Material requirements planning Enterprise resource planning Advanced planning and scheduling Information Services Procurement Library Scheduling Automated planning and scheduling Technology Business Information technology management
44	A Framework for Problem Solving Activities in Multi-Agent Systems D. C. Han, T. H. Liu, K. S. Barber The Laboratory for Intelligent Processes and Systems Electrical and Computer Engineering The University of Texas at Aus Add to Reading List Source URL: idm-lab.org Language: English - Date: 2005-05-31 06:09:24 Computing Automated planning and scheduling Educational psychology Action selection Cognitive science Agent-based model Multi-agent planning Problem solving Design Multi-agent systems Artificial intelligence Science
45	A COGNITIVE BASIS FOR AUTOMATED TARGET RECOGNITION INTERFACE DESIGN Prepared by: Marvin S. Cohen and Martin A. Tolcott Add to Reading List Source URL: www.cog-tech.com Language: English - Date: 2003-05-13 13:18:52 Knowledge User interface techniques Human factors Industrial engineering Systems psychology Human–computer interaction ATR Automatic target recognition User interface Mind Science Ergonomics
46	EagleUP: Solving Random 3-SAT using SLS with Unit Propagation Oliver Gableske1 and Marijn Heule2 1 2 Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2011-09-26 11:40:39 NP-complete problems Logic in computer science Electronic design automation Formal methods Automated theorem proving Boolean satisfiability problem Conjunctive normal form Search algorithm Unit propagation Theoretical computer science Applied mathematics Mathematics
47	Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads (PRELIMINARY VERSION; [removed]) ⋆ Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2011-09-25 04:19:32 Logic in computer science NP-complete problems Electronic design automation Formal methods Automated theorem proving Boolean satisfiability problem Satz Lookahead Solver Theoretical computer science Mathematics Applied mathematics
48	CALL FOR PAPERS International Conference on Formal Methods in Computer-Aided Design (FMCAD’98) Palo Alto, CA, USA 4 – 6 November 1998 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2009-12-18 14:46:37 Logic design Electronic design automation Hillsboro Oregon Synopsys Model checking Automated theorem proving Logic simulation Electronic engineering Digital electronics Formal methods
49	Automated Stream-Based Analysis of Fault-Tolerance Scott D. Stoller1 and Fred B. Schneider2 1 Computer Science Dept., Indiana University, Bloomington, IN 47405, USA Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:33:32 Failure Reliability engineering Functions and mappings Cryptography Theory of computation Fault-tolerant design Distributed computing Function Infinite loop Mathematics Computer programming Computing
50	Formal Methods in System Design, 26, 183–196, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands. Automated Analysis of Fault-Tolerance in Distributed Systems∗ Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-08-28 15:10:56 Inter-process communication Distributed computing Infinite loop Fault-tolerant computer systems Message passing Function Byzantine fault tolerance State machine replication Computing Computer programming Concurrent computing

UPDATE